Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
461	A Hybrid Approach for Proving Noninterference of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Michael Kirsten† and Martin Mohr† ∗ University of Trier, Germany Email Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-07 09:31:03 Applied mathematics Formal verification Logic in computer science KeY Abstract interpretation Modal logic Predicate transformer semantics Theoretical computer science Formal methods Logic
462	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
463	Partial Functions Approaches An Introduction to the Logic of Partial Functions Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Semantics Model theory Boolean algebra Formal methods Computability theory Interpretation Truth table First-order logic Vienna Development Method Mathematical logic Mathematics Logic
464	Microsoft Word - Tuang_diss_afterFinalPresent45.doc Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2006-04-04 20:54:24 Parts of speech Semantics Predicate Predicate logic Subject Copula Verb argument Complement Semantic role labeling Linguistics Grammar Logic
465	Horn Clause Contraction Functions: Belief Set and Belief Base Approaches James P. Delgrande Renata Wassermann School of Computing Science, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 11:59:33 Logic Formal languages Functions and mappings Interpretation Philosophy of mind Semantics Symbol Contraction Constructible universe Mathematics Mathematical logic Model theory
466	Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1/7/09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘ Add to Reading List Source URL: www.jucs.org Language: English - Date: 2010-11-24 10:39:58 Logic programming Predicate logic Propositional calculus Clause J Norm Reason Operational semantics Brute fact Software engineering Computing Computer programming
467	Call-by-name Linguistic Side Effects http://okmij.org/ftp/Computation/gengo/ Symmetric calculi and Ludics for the semantic interpretation ESSLLI 2008 Workshop Hamburg, Germany August 6, 2008 Add to Reading List Source URL: okmij.org Language: English - Date: 2008-08-18 22:07:08 Royalty Grammar Pragmatics Parts of speech Philosophical logic Anaphora Cataphora Type system Quantification Linguistics Semantics Philosophy of language
468	Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Predicate logic Model theory Quantification First-order logic Interpretation Independence-friendly logic Discourse representation theory Skolem normal form Well-formed formula Logic Mathematical logic Semantics
469	References [1] L. Aceto, W.J. Fokkink, R.J. van Glabbeek & A. Ing´olfsd´ottir (1996): Axiomatizing Prefix Iteration with Silent Steps. Information and Computation 127(1), pp. 26–40, doi:incoAvail Add to Reading List Source URL: rvg.web.cse.unsw.edu.au Language: English - Date: 2015-05-13 04:41:10 Glabbeek Lecture Notes in Computer Science Operational semantics Geography of Belgium Computer science Belgium Electronic Proceedings in Theoretical Computer Science Logic in computer science Programming language semantics
470	Belief Revision with Sensing and Fallible Actions James P. Delgrande Hector J. Levesque School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:46:26 Formal languages Mathematical logic Interpretation Philosophy of language Philosophy of mind Semantics Action description language Function Mathematics Logic Model theory

UPDATE